Finely homogeneous computations in free Lie algebras

We first give a fast algorithm to compute the maximal Lyndon word (with respect to lexicographic order) ofLy (A) for every given multidegree in N . We then give an algorithm to compute all the words living in Ly (A) for any given in N . The best known method for generating Lyndon words is that of Duval [1], which gives a way to go from every Lyndon word of length n to its successor (with respect to lexicographic order by length), in space and worst case time complexityO(n). Finally, we give a simple algorithm which uses Duval’s method (the one above) to compute the next standard bracketing of a Lyndon word for lexicographic order by length. We can find an interesting application of this algorithm in control theory, where one wants to compute within the command Lie algebra of a dynamical system (letters are actually vector fields).